Jeffrey A. Barrett Logic and Philosophy of Science University of California, Irvine Irvine, CAMarch 2015

Source URL: www.socsci.uci.edu

• Philosophers of science
• American philosophers
• Jeffrey A. Barrett
• Interpretations of quantum mechanics
• Many-worlds interpretation
• Quantum mechanics
• Mathematical formulation of quantum mechanics
• Jeffrey Bub
• Theoretical physics
• Philosophy of physics
• Simon Saunders
• Peter R. Holland

Single Conclusion Rocks! ... and so does Classical Logic Norbert Gratzl Munich Center for Mathematical Philosophy LMU Munich

Source URL: fitelson.org

J´erˆome Leroux Least Significant Digit First Presburger Automata DRAFT. Please do not distribute, but contact the author for a version

Source URL: www.labri.fr

• Mathematics
• Algebra
• Mathematical logic
• Logic in computer science
• Model theory
• Proof theory
• Presburger arithmetic
• Time complexity
• Generalized arithmetic progression
• Polynomial
• Vector space
• Lattice

Programs and Proofs Mechanizing Mathematics with Dependent Types Lecture Notes Ilya Sergey Draft of August 19, 2015

Source URL: ilyasergey.net

• Mathematical logic
• Theoretical computer science
• Mathematics
• Type theory
• Logic in computer science
• Automated theorem proving
• Formal methods
• Coq
• Automated reasoning
• Proof assistant
• Separation logic
• Functional programming

The importance of computing intermodal roundtrips in multimodal guidance systems Daniel Baumann, EPFL - LAVOC Alexandre Torday, EPFL - LAVOC Prof. André-Gilles Dumont, EPFL - LAVOC

Source URL: www.strc.ch

• Edsger W. Dijkstra
• Logistics
• Algorithm
• Mathematical logic
• Theoretical computer science
• Shortest path problem
• Intermodal freight transport
• Transport
• Multimodal transport
• Program optimization
• Intermodal journey planner
• Journey planner

First-Order Logic for the Analysis of Programs on Weak Memory Models Alexei Lisitsa Department of Computer Science University of Liverpool, Liverpool, UK

Source URL: www.ai4fm.org

• Model checking
• First-order logic
• Mathematical logic
• Logic in computer science
• Formal methods
• Theory of computation

Tackling Fibonacci words puzzles by finite countermodels Alexei Lisitsa1 Department of Computer Science, The University of Liverpool

Source URL: cgi.csc.liv.ac.uk

• Mathematics
• Logic
• Mathematical logic
• Model theory
• Fibonacci numbers
• Algebraic structures
• Semigroup theory
• Fibonacci word
• First-order logic
• Semigroup
• Interpretation
• Combinatory logic

On the Logic of the Ontological Argument∗ Paul E. Oppenheimer Thinking Machines Corporation and Edward N. Zalta Philosophy Department

Source URL: www.peoppenheimer.org

• Logic
• Mathematical logic
• Model theory
• Philosophy of language
• Predicate logic
• Arguments for the existence of God
• First-order logic
• Ontological argument
• Definite description
• Interpretation
• Atomic formula
• Constructible universe

Can the computer really help us to prove theorems?

Source URL: www.cs.ru.nl

• Proof assistants
• Automated theorem proving
• Logic in computer science
• Type theory
• Automath
• Logic for Computable Functions
• Nqthm
• Proof theory
• ACL2
• Mathematical proof
• Andrzej Trybulec
• Isabelle

Tuffy: Scaling up Statistical Inference in Markov Logic Networks using an RDBMS ∗ Feng Niu

Source URL: www.cs.stanford.edu

• Constraint programming
• Automated theorem proving
• Theoretical computer science
• Mathematics
• Mathematical logic
• Markov logic network
• WalkSAT
• Graph partition
• Nibbles
• Local search
• Resolution
• Alchemy